Skip to content

Merge release-1.23 into main#1851

Merged
vesari merged 3 commits into
mainfrom
release-1.23
Aug 1, 2025
Merged

Merge release-1.23 into main#1851
vesari merged 3 commits into
mainfrom
release-1.23

Conversation

@vesari

@vesari vesari commented Jul 31, 2025

Copy link
Copy Markdown
Contributor

Merge release-1.23 into main.

vesari and others added 3 commits July 15, 2025 16:14
* Cut v1.23.0-rc.0

---------

Signed-off-by: Arianna Vespri <arianna.vespri@yahoo.it>
Signed-off-by: Arianna Vespri <36129782+vesari@users.noreply.github.com>
Co-authored-by: Kemal Akkoyun <kakkoyun@users.noreply.github.com>
Signed-off-by: Arianna Vespri <arianna.vespri@yahoo.it>
Signed-off-by: Arianna Vespri <arianna.vespri@yahoo.it>
@vesari vesari marked this pull request as ready for review July 31, 2025 11:45

@kakkoyun kakkoyun left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@vesari vesari merged commit 8a8eff5 into main Aug 1, 2025
12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants